| 翻訳と辞書 |
| list of mathematical logic topics ： ウィキペディア英語版 |
list of mathematical logic topics
This is a list of mathematical logic topics, by Wikipedia page.
For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and complexity topics for more theory of algorithms.
==Working foundations==
*Peano axioms
*
*Giuseppe Peano
*Mathematical induction
*
*Structural induction
*
*Recursive definition
*Naive set theory
*
*Element (mathematics)
*
*
*Ur-element
*
*Singleton (mathematics)
*
*Simple theorems in the algebra of sets
*
*Algebra of sets
*
*Power set
*
*Empty set
*
*Non-empty set
*
*Empty function
*Universe (mathematics)
*Axiomatization
*Axiomatic system
*
*Axiom schema
*Axiomatic method
*Formal system
*Mathematical proof
*
*Direct proof
*
*Reductio ad absurdum
*
*Proof by exhaustion
*
*Constructive proof
*
*Nonconstructive proof
*Tautology
*Consistency proof
*Arithmetization of analysis
*Foundations of mathematics
*Formal language
*''Principia Mathematica''
*Hilbert's program
*Impredicative
*Definable real number
*Algebraic logic
*
*Boolean algebra (logic)
*Dialectica space
*categorical logic
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「list of mathematical logic topics」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|